x^2-2*abs(y) > 1